Knihy od autora Anders P. Ravn

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Automated Technology for Verification and Analysis

   Zhiming Liu, Anders P. Ravn | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Anders P. Ravn, Hans Rischel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Hybrid Systems

   Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel | Springer, Berlin, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více